Nuprl Definition : es-act
11,40
postcript
pdf
es-act(
es
;
e
) == act(es-kind(
es
;
e
))
latex
Definitions
es-kind(
es
;
e
)
,
act(
k
)
FDL editor aliases
es-act
origin